3861. development in language Theory II : AT the crossroads of Mathematics, Computer science and Biology
پدیدآورنده : Editors Jurgen Dassow, Grzegorz Rozenberg, Arto Salomaa,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Formal Language,Sequences )Mathematics(,Sequential analysis
رده :
QA
.
D4
267
.
3
3862. discrete mathematics
پدیدآورنده : / s. nanda
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Mathematics,Computer science- Mathematics
رده :
QA39
.
2
.
N64
3863. Discrete structures and automata theory
پدیدآورنده : Dube, Rakesh
کتابخانه: (طهران)
موضوع : ، Computer science -- Mathematics,، Machine theory
رده :
QA
76
.
9
.
M35
D38
2006
3864. effect structures /-Computing in cause
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics. ;
3865. enabled mathematics-Computer
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : assisted instruction. ; Electronic data processing ; Study and teaching (Secondary) ; -Mathematics teachers ; Training of. ; Mathematics ; Study and teaching (Secondary) ; Data processing. ; Mathematics ; Computer
3866. eng 0
پدیدآورنده : edited by Sharon Macdonald.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
3868. f-sultanmuhamad
پدیدآورنده : edited by Daniel Wüger.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
3869. Intelligent optimisation techniques: genetic algorithms, tabu search, simulated annealing and neural networks
پدیدآورنده : D. T. Pham and D. Kraboga
کتابخانه: كتابخانه پژوهشگاه علوم و فناوری رنگ (طهران)
موضوع : Engineering--Data processing,Computer--Acided engineering,Heuristic programming,Genetic algorithms,Simulated annealing (Mathematics ),Neural networks (Computer science)
3870. Mathematical aspects of scientific software
پدیدآورنده :
موضوع : ، Computer software-- Development,، Science-- Data processing
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
3871. mathematics for computer science
پدیدآورنده : Lehman, Eric
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : Mathematics ، Computer science
رده :
QA
76
.
9
.
M35
L53
2017
3872. niewski's Systems of Logic and Foundations of MathematicsجLe
پدیدآورنده : / Rafal Urbaniak (auth.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
3873. Çok Amaçlı Çok Atamalı Ana Düğüm Ağ Tasarımı Problemi Için Metasezgisel Yaklaşımlar
پدیدآورنده : Demir, İbrahim
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Applied mathematics,Computer engineering,Computer science,Design,Information technology,Systems science,Technical communication
3874. Çok Amaçlı Çok Atamalı Ana Düğüm Ağ Tasarımı Problemi Için Metasezgisel Yaklaşımlar
پدیدآورنده : Demir, İbrahim
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Applied mathematics,Computer engineering,Computer science,Design,Systems science,Technical communication
3875. pt. I. Perspective : legislative role of the judge and human rights law. Legislative role of the judge : a vital force in the life of the law ; Relationship between human rights and international law : principle of human dignity versus principle of state sovereignty -- pt. II. The development of human rights law by the International Court of Justice : contentious cases. Corfu Channel case (United Kingdom v Albania) (1947-1949) ; South West Africa cases (Ethiopia v South Africa ; Liberia v South Africa) : violation of human rights law led to formation of human rights law (1960-1966) ; Barcelona Traction, Light and Power Company, Limited (new application : 1962) case (Belgium v Spain) (1962-70) ; United States diplomatic and consular staff in Tehran case (USA v Iran) (1979-1981) ; Military and paramilitary activities in and against Nicaragua case (Nicaragua v USA) (1984-1991) ; East Timor case (Portugal v Australia) (1991-1994): human rights versus state sovereignty (1991-1994) ; Application of the Convention on the Prevention and Punishment of the Crime of Genocide case (Bosnia and Herzegovia v Serbia Montenegro) (1993- ) : prohibition of genocide as jus cogens ; Legality of use of force cases (Yugoslavia v Belgium; Yugoslavia v Canada; Yugoslavia v France ; Yugoslavia v Germant ; Yugoslavia v Italy ; Yugoslavia v Netherlands ; Yugoslavia v Portugal ; Yugoslavia v Spain ; Yugoslavia v UK ; Yugoslavia v USA) (1999- ) ; Arrest warrant of 11 April 2000 (Democratic Republic of the Congo v Belgium) : an analysis of human dignity of the people, for the people, by the people (2000-2002) ; Vienna Convention on Consular Relations cases (1998-2004) : the Convention does create individual rights -- pt. III. The development of human rights law by the International Court of Justice : advisory cases. International status of South West Africa case (1949-1950) : the principle of sacred trust of civilization ; Reservations to the Convention on the Prevention and Punishment of the Crime of Genocide case (1950-1951) ; Legal consequences for states of the continued presence of
پدیدآورنده : Shiv R.S. Bedi.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
3876. q-series : their development and application in analysis, number theory, combinatorics, physics, and computer algebra
پدیدآورنده : Andrews, George E.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، q-series
رده :
QA
1
.
R33
no
.
66
3877. s LegacyبThe Mathematics of Darwin
پدیدآورنده : / Francisco RodriguesفFabio A. C. C. Chalub, Jos
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
3878. 2000 solved problems in discrete mathematics
پدیدآورنده : Lipschutz, Seymour.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Mathematics,، Computer science - Mathematics
رده :
QA
43
.
L666
1992
3879. 2000 solved problems in discrete mathematics
پدیدآورنده : by Seymour Lipschutz, Marc Lars Lipson
کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع : Mathematics, Problems, exercises, etc,Computer science, Mathematics, Problems, exercises, etc
رده :
QA
,
43
,.
L666
,
1992
3880. 2000 solved problems in discrete mathematics
پدیدآورنده : by Seymour Lipschutz, Marc Lars Lipson,Title
کتابخانه: (مازندران)
موضوع : Mathematics, Problems, exercises, etc,Computer science, Mathematics, Problems, exercises, etc
رده :
QA
.
L66
43
1992
